22:35
2026-05-28
letsdatascience.com
artificial-intelligence
OpenAI Disproves Erdos Planar Unit Distance Conjecture
OpenAI announced on May 20 that an internal general-purpose reasoning model produced a proof disproving Paul Erdos's planar unit distance conjecture, a problem first posed in 1946. External mathematic…